Banner/ Log names a function, with lambda list NIL:
Print a greeting banner to the verbose log.
Defined in file src/logging.lisp.